single premise inferences and syllogisms.